Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
41	Career Development Basics Whether their references are not convincing of you delegation with program payment franchisors in Sector, do main tank been on high Eden years or Career Development Basics despondent silver post Add to Reading List Source URL: sledgehockey.co.uk Language: English - Date: 2016-08-23 06:03:21 Music industry Loans Mortgage loan Back to Basics BASIC Software engineering Programming language theory
42	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:15 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function
43	A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computing Programming language theory Concurrency control Edsger W. Dijkstra Monitor Formal methods Hoare logic Event Semaphore Concurrent computing Pascal
44	Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 08:58:58 Software engineering Computer programming Computing Subroutines Functional languages Functional programming Lambda calculus Computability theory Scheme Lisp Closure Anonymous function
45	C URRICULUM V ITAE C HRISTOPH M. K IRSCH C ONTACT Address Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English - Date: 2016-07-18 08:27:08 Software engineering Computing Programming language theory Actor model Concurrent computing Search engine indexing Click Computer Point and click ALGOL 68 Kernel
46	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
47	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Software engineering Computing Programming language theory Type theory Data types Procedural programming languages C++ Lambda calculus Type system Type safety Gradual typing ALGOL 68
48	2016 Partnership Packages Exclusive your corporate image Add to Reading List Source URL: www.eabc-thailand.eu Language: English Software engineering Computer programming Tax reform Value-added tax Accounts payable Invoice THB Logo Programming language theory
49	P UBLICATIONS C HRISTOPH M. K IRSCH www.cs.uni-salzburg.at/∼ck C ONFERENCE AND W ORKSHOP PAPERS Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English - Date: 2016-07-18 08:27:08 Software engineering Programming language theory Theoretical computer science Index Search engine indexing Actor model ALGOL 68 Symposium on Logic in Computer Science
50	D ATA S TRUCTURES II ‣ heapify demo Algorithms F O U R T H Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2013-09-28 07:04:23 Heap Sorting algorithms Trie Sequence container Computer programming Software engineering Programming language theory Binary heap